scenario {
	component "System"
	actor "SA 2"
	actor "SA 3"
	"SA 2" -> "SA 3" : "m1"
	->> "SA 3" : "Cancel Timer"
	->> "SA 2" : "Arm Timer"
	->> "SA 3" : "Arm Timer"
}